(declare-const v0 Bool)
(declare-const v1 Bool)
(declare-const v2 Bool)
(declare-const v3 Bool)
(declare-const r1 Real)
(declare-const r2 Real)
(declare-const r3 Real)
(declare-const v4 Bool)
(assert v0)
(assert (=> v2 (or v2 v0 v1 v3 v2 v0 v0 v1)))
(declare-const v5 Bool)
(declare-const v6 Bool)
(assert v1)
(declare-const v7 Bool)
(declare-const v8 Bool)
(assert (or v2 v0 v1 v3 v2 v0 v0 v1))
(assert v4)
(declare-const v9 Bool)
(assert (= (* r1 r3 r2 5.43733934) r2 9.0))
(check-sat)
